Optimal. Leaf size=383 \[ -\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {3 x^2 \text {PolyLog}\left (2,-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {PolyLog}\left (2,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 i x \text {PolyLog}\left (3,-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 i x \text {PolyLog}\left (3,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 \text {PolyLog}\left (4,-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 \text {PolyLog}\left (4,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.37, antiderivative size = 383, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 7, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.583, Rules used = {3402, 2296,
2221, 2611, 6744, 2320, 6724} \begin {gather*} -\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 \text {Li}_4\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 \text {Li}_4\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{\sqrt {a^2-b^2}+a}\right )}{\sqrt {a^2-b^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2221
Rule 2296
Rule 2320
Rule 2611
Rule 3402
Rule 6724
Rule 6744
Rubi steps
\begin {align*} \int \frac {x^3}{a+b \cos (x)} \, dx &=2 \int \frac {e^{i x} x^3}{b+2 a e^{i x}+b e^{2 i x}} \, dx\\ &=\frac {(2 b) \int \frac {e^{i x} x^3}{2 a-2 \sqrt {a^2-b^2}+2 b e^{i x}} \, dx}{\sqrt {a^2-b^2}}-\frac {(2 b) \int \frac {e^{i x} x^3}{2 a+2 \sqrt {a^2-b^2}+2 b e^{i x}} \, dx}{\sqrt {a^2-b^2}}\\ &=-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {(3 i) \int x^2 \log \left (1+\frac {2 b e^{i x}}{2 a-2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}-\frac {(3 i) \int x^2 \log \left (1+\frac {2 b e^{i x}}{2 a+2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}\\ &=-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 \int x \text {Li}_2\left (-\frac {2 b e^{i x}}{2 a-2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}-\frac {6 \int x \text {Li}_2\left (-\frac {2 b e^{i x}}{2 a+2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}\\ &=-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {(6 i) \int \text {Li}_3\left (-\frac {2 b e^{i x}}{2 a-2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}-\frac {(6 i) \int \text {Li}_3\left (-\frac {2 b e^{i x}}{2 a+2 \sqrt {a^2-b^2}}\right ) \, dx}{\sqrt {a^2-b^2}}\\ &=-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 \text {Subst}\left (\int \frac {\text {Li}_3\left (\frac {b x}{-a+\sqrt {a^2-b^2}}\right )}{x} \, dx,x,e^{i x}\right )}{\sqrt {a^2-b^2}}-\frac {6 \text {Subst}\left (\int \frac {\text {Li}_3\left (-\frac {b x}{a+\sqrt {a^2-b^2}}\right )}{x} \, dx,x,e^{i x}\right )}{\sqrt {a^2-b^2}}\\ &=-\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {3 x^2 \text {Li}_2\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 i x \text {Li}_3\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}+\frac {6 \text {Li}_4\left (-\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}-\frac {6 \text {Li}_4\left (-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.56, size = 290, normalized size = 0.76 \begin {gather*} \frac {-i x^3 \log \left (1+\frac {b e^{i x}}{a-\sqrt {a^2-b^2}}\right )+i x^3 \log \left (1+\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )-3 x^2 \text {PolyLog}\left (2,\frac {b e^{i x}}{-a+\sqrt {a^2-b^2}}\right )+3 x^2 \text {PolyLog}\left (2,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )-6 i x \text {PolyLog}\left (3,\frac {b e^{i x}}{-a+\sqrt {a^2-b^2}}\right )+6 i x \text {PolyLog}\left (3,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )+6 \text {PolyLog}\left (4,\frac {b e^{i x}}{-a+\sqrt {a^2-b^2}}\right )-6 \text {PolyLog}\left (4,-\frac {b e^{i x}}{a+\sqrt {a^2-b^2}}\right )}{\sqrt {a^2-b^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int \frac {x^{3}}{a +b \cos \left (x \right )}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1030 vs. \(2 (317) = 634\).
time = 0.48, size = 1030, normalized size = 2.69 \begin {gather*} \frac {-i \, b x^{3} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} \log \left (\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b}\right ) + i \, b x^{3} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} \log \left (\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b}\right ) + i \, b x^{3} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} \log \left (\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b}\right ) - i \, b x^{3} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} \log \left (\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b}\right ) - 3 \, b x^{2} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm Li}_2\left (-\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b} + 1\right ) + 3 \, b x^{2} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm Li}_2\left (-\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b} + 1\right ) - 3 \, b x^{2} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm Li}_2\left (-\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b} + 1\right ) + 3 \, b x^{2} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm Li}_2\left (-\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} + b}{b} + 1\right ) - 6 i \, b x \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (3, -\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) + 6 i \, b x \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (3, -\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) + 6 i \, b x \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (3, -\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) - 6 i \, b x \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (3, -\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) + 6 \, b \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (4, -\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) - 6 \, b \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (4, -\frac {a \cos \left (x\right ) + i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) + i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) + 6 \, b \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (4, -\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) + {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right ) - 6 \, b \sqrt {\frac {a^{2} - b^{2}}{b^{2}}} {\rm polylog}\left (4, -\frac {a \cos \left (x\right ) - i \, a \sin \left (x\right ) - {\left (b \cos \left (x\right ) - i \, b \sin \left (x\right )\right )} \sqrt {\frac {a^{2} - b^{2}}{b^{2}}}}{b}\right )}{2 \, {\left (a^{2} - b^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{3}}{a + b \cos {\left (x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {x^3}{a+b\,\cos \left (x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________